(GTK styles): Fix texinfo usage.

diff --git a/man/xresources.texi b/man/xresources.texi
index ec4b663365d61fb56de0854e5af72e5a8f22b3a2..156c04cceb40650ab6975e6c4de69449548ad3d4 100644 (file)
--- a/man/xresources.texi
+++ b/man/xresources.texi
@@ -964,7 +964,7 @@ an X font name, for example in
 @end smallexample
 
 @noindent
-the family name is ``times.''
+the family name is @samp{times}.
 
 @noindent
 @var{style-options} is a whitespace separated list of words where each word